Subminimal negation

Subminimal negation

Minimal Logic, i.e. intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics with a still weaker negation by introducing a function on the upward closed sets of the models. The basic logic is a logic in which the negation has...

Minimal and Subminimal Logic of Negation

Starting from the original formulation of minimal propositional logic proposed by Johansson, this thesis aims to investigate some of its relevant subsystems. The main focus is on negation, defined as a primitive unary operator in the language. Each of the subsystems considered is defined by means of some ‘axioms of negation’: different axioms enrich the negation operator with different properti...

A lattice of subminimal logics of negation

Subminimal Paths on a Stochastic Graph

A simple model of a frustrated disordered system is presented. Apart from the (very different) physical interpretation, the model shares many features with that of Sherrington-Kirkpatrick for spin glasses, but, as a consequence of its relative simplicity, its ground state can be exactly determined by numerical methods. This fact allows us to test experimentally some theoretical predictions, bas...

Truncation to Subminimal Words in Early French

It has long been noted that children omit certain unstressed syllables from their early speech, with words like banana surfacing as [ næn ], and words like elephant being realized as [ fa] (e.g., Allen and Hawkins 1978, 1980; Echols and Newport 1992; Echols 1993; Gerken 1994; Pater 1997; Kehoe 2000; see Kehoe and StoelGammon 1997 for a recent review). This led Allen and Hawkins (1978, 1980) to ...